翻訳と辞書
Words near each other
・ Churchville Test Area
・ Churchville, Iowa
・ Churchville, Maryland
・ Churchville, New York
・ Churchville, Nova Scotia
・ Churchville, Pennsylvania
・ Churchville, Virginia
・ Churchville, West Virginia
・ Churchville-Chili Central School District
・ Churchward
・ Churchwarden
・ Churchwarden pipe
・ Churchwood
・ Churchyard
・ Churchyards in Northwestern France
Church–Kleene ordinal
・ Church–Rosser theorem
・ Church–state relations in Argentina
・ Church–Turing thesis
・ Church–Turing–Deutsch principle
・ Churdan, Iowa
・ Churdhar Sanctuary
・ Chure Bhawar Rastriya Ekta Party Nepal
・ Chureh Nab
・ Chureh-ye Sofla
・ Churel
・ Churet
・ Churfirsten
・ Churg–Strauss syndrome
・ Churhat


Dictionary Lists
翻訳と辞書 辞書検索 [ 開発暫定版 ]
スポンサード リンク

Church–Kleene ordinal : ウィキペディア英語版
Church–Kleene ordinal
In mathematics, the Church–Kleene ordinal, \omega^{\mathrm{CK}}_1, named after Alonzo Church and S. C. Kleene, is a large countable ordinal. It is the set of all recursive ordinals and the smallest non-recursive ordinal. It is also the first ordinal which is not hyperarithmetical, and the first admissible ordinal after ''ω''.
==References==

*
*
*
*
uthor1-link=Alonzo Church | last2=Kleene | first2=S. C. | author2-link=Stephen Cole Kleene | title=Formal definitions in the theory of ordinal numbers. | jfm=63.0029.02 | year=1937 | journal=Fundamenta mathematicae, Warszawa, | volume=28 | pages=11–21}}
*
*
*


抄文引用元・出典: フリー百科事典『 ウィキペディア(Wikipedia)
ウィキペディアで「Church–Kleene ordinal」の詳細全文を読む



スポンサード リンク
翻訳と辞書 : 翻訳のためのインターネットリソース

Copyright(C) kotoba.ne.jp 1997-2016. All Rights Reserved.